; ModuleID = 'DecafLangModule'
source_filename = "DecafLangModule"

@0 = private unnamed_addr constant [6 x i8] c"Hello\00", align 1
@1 = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
@2 = private unnamed_addr constant [8 x i8] c"Goodbye\00", align 1
@3 = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
@4 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
@5 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1

define i32 @main() {
entry:
  %0 = call i32 (ptr, ...) @printf(ptr @1, ptr @0)
  %1 = call i32 (ptr, ...) @printf(ptr @3, ptr @2)
  %a = alloca i32, align 4
  store i32 10, ptr %a, align 4
  %a1 = load i32, ptr %a, align 4
  %2 = call i32 (ptr, ...) @printf(ptr @4, i32 %a1)
  store i32 69, ptr %a, align 4
  %a2 = load i32, ptr %a, align 4
  %3 = call i32 (ptr, ...) @printf(ptr @5, i32 %a2)
  ret i32 0
}

declare i32 @printf(ptr, ...)
